(check (= (+ 5 (eval '(+ 1 2)) 6) 14))

